﻿#region License statement
// NJamb, a specification and delta-specification DSL
// Copyright (c) 2010-2011, Mark Knell
// Published under the MIT License; all other rights reserved
#endregion

#region using...
using NJamb.Specifications;
using Stile.Patterns.FluentInterface;
#endregion

namespace NJamb.Parser.SpecificationBuilders.SubjectIs
{
    public interface INegatableFluentIs<in TSubject, TSpecifies, out TNegated> : INegatable<TNegated>
        where TSpecifies : class, ISpecification
        where TNegated : class, IFluentIs<TSubject, TSpecifies> {}
}
